منابع مشابه
Towards Mechanized Program Verification with Separation Logic
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap access and modification. Properties of separating conjunction and separating implication are mechanically verified and used to prove soundness and relative completeness of all three Hoare logics. The whole development, i...
متن کاملThe Linear Separation Problem Revisited with ACCPM
We investigate the use of accpm analytic center cutting plane method for solving the linear separation problem which is an important instance of the general data mining concept Given two disjoint subsets of points the problem is to nd a hyperplane which separates these two subsets as well as possible Our method consists of minimizing the total sum of misclassi cation gaps For a large amount of ...
متن کاملOne Microphone Source Separation
Source separation, or computational auditory scene analysis, attempts to extract individual acoustic objects from input which contains a mixture of sounds from different sources, altered by the acoustic environment. Unmixing algorithms such as ICA and its extensions recover sources by reweighting multiple observation sequences, and thus cannot operate when only a single observation signal is av...
متن کاملOn the Pi-one-one Separation Principle
We study the proof theoretic strength of the Π1-separation axiom scheme. We show that Π1-separation lies strictly in between the ∆ 1 1-comprehension and Σ 1 1choice axiom schemes over RCA0.
متن کاملPiecewiese linear source separation
We propose a new framework, called piecewise linear separation, for blind source separation of possibly degenerate mixtures, including the extreme case of a single mixture of several sources. Its basic principle is to : 1/ decompose the observations into “components” using some sparse decomposition/nonlinear approximation technique; 2/ perform separation on each component using a “local” separa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Programming
سال: 2018
ISSN: 0025-5610,1436-4646
DOI: 10.1007/s10107-018-1299-8